1. $b$ : $\mathbb{B}$
\\[0ex]$\vdash$  ($\uparrow$$b$) $\vee$ ($\neg$($\uparrow$$b$))